TOOLympics I: Competition on software testing
نویسندگان
چکیده
Abstract Research competitions and challenges are a driving force in transferring theoretical results into working software tools that demonstrate the state of art respective field research. Regular comparative evaluations provide guidance to practitioners have select new technology for their development process. In order support with an appropriate publication venue, theme issues International Journal on Software Tools Technology Transfer was created. This issue is inaugural newly introduced “Competitions Challenges” (CoCha). Test-Comp, Competition Testing, example tool competition, where research teams submit test-generation, competition evaluates assigns scores according achieved coverage. Test-Comp 2019 part TOOLympics event, which took place as 25-year celebration conference TACAS. Thus, it most natural start STTT-CoCha special describes participating systems 2019. There will be second contributions from other competitions.
منابع مشابه
Second Competition on Software Verification
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of this thorough evaluation of fully automatic verifiers for software programs. The reported results represent the 2012 state-of-the-art in automatic software verification, in terms of effectiveness and efficiency. The benchmark set of verification tasks consists of eleve...
متن کاملCompetition on Software Verification - (SV-COMP)
This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software Verification. The verification community has performed competitions in various areas in the past, and SV-COMP’12 is the first competition of verification tools that take software programs as input and run a fully automatic verification of a given safety property. This yea...
متن کاملDistributed Black-Box Software Testing Using Negative Selection
In the software development process, testing is one of the most human intensive steps. Many researchers try to automate test case generation to reduce the manual labor of this step. Negative selection is a famous algorithm in the field of Artificial Immune System (AIS) and many different applications has been developed using its idea. In this paper we have designed a new algorithm based on nega...
متن کاملSoftware Testing on Space Applications
• Attitude control – usually autonomous in satellite missions running in a dedicated processor. Its development and testing requires particular conditions. Its development and testing requires particular conditions. For instance, the gravity and air resistance are variables that overcome the effects which disturb the spacecraft attitude on orbit. For this reason, the use of a set of software sy...
متن کاملSearching publications on software testing
This note concerns a search for publications in which the pragmatic concept of a test as conducted in the practice of software testing is formalized, a theory about software testing based on such a formalization is presented or it is demonstrated on the basis of such a theory that there are solid grounds to test software in cases where in principle other forms of analysis could be used. This no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2021
ISSN: ['1433-2779', '1433-2787']
DOI: https://doi.org/10.1007/s10009-021-00611-5